Type Inference with Inequalities
نویسندگان
چکیده
منابع مشابه
Type Inference with Inequalities
Type inference can be phrased as constraint-solving over types. We consider an implicitly typed language equipped with recursive types, multiple inheritance, 1st order parametric polymorphism, and assignments. Type correctness is expressed as satisfiability of a possibly infinite collection of (monotonic) inequalities on the types of variables and expressions. A general result about systems of ...
متن کاملGeneral Hardy-Type Inequalities with Non-conjugate Exponents
We derive whole series of new integral inequalities of the Hardy-type, with non-conjugate exponents. First, we prove and discuss two equivalent general inequa-li-ties of such type, as well as their corresponding reverse inequalities. General results are then applied to special Hardy-type kernel and power weights. Also, some estimates of weight functions and constant factors are obtained. ...
متن کاملOn Generalization of Cebysev Type Inequalities
In this paper, we establish new Cebysev type integral inequalities involving functions whose derivatives belong to L_{p} spaces via certain integral identities.
متن کاملSome extended Simpson-type inequalities and applications
In this paper, we shall establish some extended Simpson-type inequalities for differentiable convex functions and differentiable concave functions which are connected with Hermite-Hadamard inequality. Some error estimates for the midpoint, trapezoidal and Simpson formula are also given.
متن کاملOn Bernstein Type Inequalities for Complex Polynomial
In this paper, we establish some Bernstein type inequalities for the complex polynomial. Our results constitute generalizations and refinements of some well-known polynomial inequalities.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: DAIMI Report Series
سال: 1990
ISSN: 2245-9316,0105-8517
DOI: 10.7146/dpb.v19i336.6566